首页> 外文OA文献 >Optimal and cut-free tableaux for propositional dynamic logic with converse

【2h】

Optimal and cut-free tableaux for propositional dynamic logic with converse

机译：具有逆向的命题动态逻辑的最佳和无切割表格

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Florian Widmann;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic [J] . Brian Hill, Francesca Poggiolesi Studia Logica . 2010,第1期

机译：命题动态逻辑的无收缩无割顺序演算
2. A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic [J] . FRANCESCA POGGIOLESI, BRIAN HILL Studia Logica . 2010,第1期

机译：命题动态逻辑的无收缩无割顺序演算
3. Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions [J] . YANJUN LI Journal of logic and computation . 2018,第2期

机译：Tableaux用于将命题动态逻辑和认知逻辑与相互作用相结合
4. Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse [C] . Rajeev Gore, Florian Widmann Automated reasoning . 2010

机译：逆向命题动态逻辑的最优和免切画面
5. Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics利用統計を見る [D] . Shimura Tatsuya 1991

机译：免剪裁的Gentzen风格的系统，用于S4和中间逻辑的某些常规扩展
6. A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models [O] . Juliana S Bernardes, Alessandra Carbone, Gerson Zaverucha 2011

机译：结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
7. Optimal and Cut-free Tableaux for Propositional Dynamic Logic with Converse [O] . Goré, Rajeev, Widmann, Florian 2010

机译：用于maTLaB的命题动态逻辑的最优和无切割表格交谈
8. Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse [R] . Fischer, M. J., Immerman, N. 1986

机译：用逆向解释命题动态逻辑中的知识逻辑

Optimal and cut-free tableaux for propositional dynamic logic with converse

著录项

引文网络

相似文献

相关主题

期刊订阅